Merge pull request #1161 from jeenu-arm/sdei-fixes
authordavidcunado-arm <david.cunado@arm.com>
Wed, 22 Nov 2017 13:57:03 +0000 (13:57 +0000)
committerGitHub <noreply@github.com>
Wed, 22 Nov 2017 13:57:03 +0000 (13:57 +0000)
SDEI fixes


Trivial merge